Connector algebras for C/E and P/T nets' interactions
نویسندگان
چکیده
منابع مشابه
Connector algebras for C/E and P/T nets' interactions
A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors.In a recent paper, an algebra of stateless connectors was presented that consists of fivekinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hidingand inaction, plus their duals, and it wa...
متن کاملConnector Algebras, Petri Nets, and BIP
In the area of component-based software architectures, the term connector has been coined to denote an entity (e.g. the communication network, middleware or infrastructure) that regulate the interaction of independent components. Hence, a rigorous mathematical foundation for connectors is crucial for the study of coordinated systems. In recent years, many different mathematical frameworks have ...
متن کاملA Connector Algebra for P/T Nets Interactions
A quite flourishing research thread in the recent literature on component-based system is concerned with the algebraic properties of various kinds of connectors for defining well-engineered systems. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, plus their duals. The connectors can be composed in series or in parallel and emp...
متن کاملOrthogonal Nets and Cliiord Algebras
A Cliiord algebra model for MM obius geometry is presented. The notion of Ribaucour pairs of orthogonal systems in arbitrary dimensions is introduced , and the structure equations for adapted frames are derived. These equations are discretized and the geometry of the occuring discrete nets and sphere congruences is discussed in a conformal setting. This way, the notions of \discrete Ribaucour c...
متن کاملOrthogonal nets and Clifford algebras
A Clifford algebra model for Möbius geometry is presented. The notion of Ribaucour pairs of orthogonal systems in arbitrary dimensions is introduced, and the structure equations for adapted frames are derived. These equations are discretized and the geometry of the occuring discrete nets and sphere congruences is discussed in a conformal setting. This way, the notions of “discrete Ribaucour con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2013
ISSN: 1860-5974
DOI: 10.2168/lmcs-9(3:16)2013